$\forall$${\it es}$:ES, $A$:Type, $I_{1}$, $I_{2}$:AbsInterface($A$). \{[$I_{1}$?$I_{2}$]\} $\Leftarrow\!\Rightarrow$ \{$I_{1}$\} $\vee$ \{$I_{2}$\}